(0 12 3)(1 13 10)(2 8 4)(5 9 6 11 7)
ALLOWS (11/8)-SEQUENCE
1: (0 5 9)
(0 6 11 7 5 12 3)(1 13 10)(2 8 4)(9)
2: (3 11 7)
(0 6 11)(1 13 10)(2 8 4)(3 5 12)(7)(9)
3: (1 13 10)
(0 6 11)(1)(2 8 4)(3 5 12)(7)(9)(10)(13)
4: (2 8 4)
(0 6 11)(1)(2)(3 5 12)(4)(7)(8)(9)(10)(13)